Knowledge and Strategic Ability for Model Checking: A Refined Approach
نویسنده
چکیده
Wepresent a translation that reduces epistemic operators to strategic operators in the context ofmodel checking. The translation is a refinement of the one from [7, 9], and it improves on the previous scheme in two ways. First, it does not suffer any blowup in the length of formulae (the one from [7, 9] did). Second, the new translation is defined in a more general setting: additional constraints can be imposed on strategy profiles that agents can execute; we show that the translation is still valid in such a general case.
منابع مشابه
Reachability checking in complex and concurrent software systems using intelligent search methods
Software system verification is an efficient technique for ensuring the correctness of a software product, especially in safety-critical systems in which a small bug may have disastrous consequences. The goal of software verification is to ensure that the product fulfills the requirements. Studies show that the cost of finding and fixing errors in design time is less than finding and fixing the...
متن کاملA Hybrid Meta-heuristic Approach to Cope with State Space Explosion in Model Checking Technique for Deadlock Freeness
Model checking is an automatic technique for software verification through which all reachable states are generated from an initial state to finding errors and desirable patterns. In the model checking approach, the behavior and structure of system should be modeled. Graph transformation system is a graphical formal modeling language to specify and model the system. However, modeling of large s...
متن کاملKnowledge as Strategic Ability
The ultimate goal of our research is to develop techniques for model checking knowledge properties of multi-agent systems. ATEL, an extension of the Alternating-time Temporal Logic of Alur et al, is a logic for specifying epistemic and strategic properties of such systems. We present a technique for reducing the ATEL model checking problem to one of model checking in ATL, whereby epistemic rela...
متن کاملUniversity and industry: From contracting relations to strategic partnerships; providing strategic role model in university-society relations
Establishing sustainable and effective interactions between university and society has always been a concern for higher education system. However, these interactions have always been challenged for various reasons. The reasons can be attributed to the type of attitudes toward the roles a university plays in interaction with industry, the lack of value-added strategic interactions with industry,...
متن کاملDeveloping and Validating the Excellence Model for the Strategic Knowledge Management Case Study: Mobarakeh Steel Company
The aim of this study is to design the excellence in Mobarakeh Steel Company's strategic knowledge management. To achieve this goal, the researcher has used qualitative and quantitative methods. Therefore, the research method is the mixed one. This study, based on the nature of the data and data collection procedure, is a descriptive, exploratory research. It follows and applies development obj...
متن کامل